Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
531	Logical Methods in Computer Science Vol. 9(4:[removed], pp. 1–39 www.lmcs-online.org Submitted Published Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-12-17 05:01:37 Mathematics Formal languages Computer science Combinatorics on words Theory of computation Finite-state machine Alphabet Nondeterministic finite automaton Computability Automata theory Models of computation Theoretical computer science
532	Algorithms for Guided Tree Automata Morten Biehl1 , Nils Klarlund2 , and Theis Rauhe1 1 BRICS, Department of Computer Science, University of Aarhus, Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:46:59 Mathematics Binary decision diagram Tree automaton Nondeterministic finite automaton Deterministic finite automaton Tree traversal Binary tree Tree Infinite tree automaton Automata theory Theoretical computer science Computer science
533	345 Ludic Computing Lecture 11 Behaviour Trees Simon Colton & Alison Pease Computational Creativity Group Add to Reading List Source URL: ccg.doc.gold.ac.uk Language: English - Date: 2013-09-18 10:00:42 Robot Artificial intelligence Automata theory Finite-state machine Door
534	Automata on Inifinite Trees Christof L¨oding Lehrstuhl Informatik 7 RWTH Aachen[removed]Aachen, Germany email: [removed] Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:51 Ω-automaton Muller automaton Alternating tree automata Tree automaton Alternating finite automaton Nondeterministic finite automaton Deterministic automaton Finite-state machine Parity game Automata theory Theoretical computer science Computer science
535	Mona: decidable arithmetic in practice Morten Biehl1 , Nils Klarlund2, and Theis Rauhe3 BRICS, University of Aarhus ([removed]) AT&T Research ([removed]) 3 BRICS, University of Aarhus (theis@brics.d Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:23 Metalogic Model theory Combinatorics on words Automata theory Models of computation Second-order logic Interpretation First-order logic Finite-state machine Formal languages Logic Mathematics
536	Statechart selection c state-creation Add to Reading List Source URL: www.pauljlucas.org Language: English - Date: 2012-08-29 10:26:44 Automata theory Diagrams Theoretical computer science Digital electronics State diagram Computer science Finite-state machine Transition GUI widget Models of computation Computing UML diagrams
537	This is page 1 Printer: Opaque this Mona: Monadic Second-Order Logic in Practice Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:40 FO Finite-state machine Regular language Automata theory Theoretical computer science Computer science
538	Methods for the Transformation of ω-Automata: Complexity and Connection to Second Order Logic Diploma Thesis (Revised Version) Christof L¨oding Supervisor: Prof. Dr. Wolfgang Thomas Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Ω-automaton Nondeterministic finite automaton Muller automaton Finite-state machine Alternating finite automaton Sequence Powerset construction Automata theory Theoretical computer science Computer science
539	One Dimensional Cellular Automata Musical Experiments with Max Dave Burraston Creativity and Cognition Studios (CCS), Faculty of Information Technology, University of Technology Sydney (UTS), Sydney, Add to Reading List Source URL: www.noyzelab.com Language: English - Date: 2015-02-06 20:26:18 Elementary cellular automaton Chaos theory Rule 110 Generative music Attractor Algorithmic composition Mathematics Systems theory Learning Cellular automata Cellular automaton Rule 30
540	Decision Problems for Deterministic Pushdown Automata on Infinite Words ¨ Christof Loding RWTH Aachen University, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-07-22 06:08:02 Formal languages Computer science Deterministic pushdown automaton SC Finite-state machine Alphabet Ordinal number Nested word Automata theory Theoretical computer science Models of computation

UPDATE